Kay Wiestål, İsveçli bir matematikçi ve bilgisayar bilimcisidir. 1940'ta doğdu ve Uppsala Üniversitesi'nde matematik eğitimi aldı. Daha sonra, IBM'in Avrupa Araştırma Laboratuvarı'nda çalışmaya başladı ve burada bilgisayar bilimine olan ilgisi gelişti.
Wiestål, özellikle programlama dilleri ve formal diller üzerine araştırmalar yapmıştır. Genellikle Özellikle Otomat Kuramı adlı alanda çalışmalarıyla tanınır. Bu alanda, hesaplama ve otomatlarla ilgili matematiksel konuları inceler.
Wiestål, 1970'lerin sonunda ve 1980'lerin başında yazdığı bazı makalelerle bilinir. Bunlardan biri, "Unboundedness of Pure LCF", bir diğeri ise "A Simple Proof of the Myhill-Nerode Theorem". İkinci makale, formal dillerin teori ve uygulaması konusunda önemli bir teorem olan Myhill-Nerode Teoremi'ni basitleştirir.
Wiestål, matematik ve bilgisayar bilimleri alanındaki çalışmaları için birçok ödül aldı. İsveç Kraliyet Bilimler Akademisi'nin bir üyesi ve Amerikan Bilimler Akademisi'nin bir yabancı üyesidir. Ayrıca, 2009 yılında matematiksel kimya ve matematiksel biyoloji alanlarındaki çalışmaları için Thulin Ödülü'nü aldı.
Ne Demek sitesindeki bilgiler kullanıcılar vasıtasıyla veya otomatik oluşturulmuştur. Buradaki bilgilerin doğru olduğu garanti edilmez. Düzeltilmesi gereken bilgi olduğunu düşünüyorsanız bizimle iletişime geçiniz. Her türlü görüş, destek ve önerileriniz için iletisim@nedemek.page